A Real-Time Animator for Hybrid Systems
نویسندگان
چکیده
In this paper, we present a real time animator for dynamical systems that can be modeled as hybrid automata i.e. standard finite automata extended with differential equations. We describe its semantic foundation and its implementation in Java and C using CVODE, a software package for solving ordinary differential equations. We show how the animator is interfaced with the Uppaal tool to demonstrate the real time behavior of dynamical systems under the control of discrete components described as timed automata.
منابع مشابه
Stability analysis of nonlinear hybrid delayed systems described by impulsive fuzzy differential equations
In this paper we introduce some stability criteria of nonlinear hybrid systems with time delay described by impulsive hybrid fuzzy system of differential equations. Firstly, a comparison principle for fuzzy differential system based on a notion of upper quasi-monotone nondecreasing is presented. Here, for stability analysis of fuzzy dynamical systems, vector Lyapunov-like functions are defined....
متن کاملSimultaneous production planning and scheduling in a hybrid flow shop with time periods and work shifts
Simultaneous production planning and scheduling has been identified as one of the most important factors that affect the efficient implementation of planning and scheduling operations for the production systems. In this paper, simultaneous production planning and scheduling is applied in a hybrid flow shop environment, which has numerous applications in real industrial settings. In this problem...
متن کاملWhich Methodology is Better for Combining Linear and Nonlinear Models for Time Series Forecasting?
Both theoretical and empirical findings have suggested that combining different models can be an effective way to improve the predictive performance of each individual model. It is especially occurred when the models in the ensemble are quite different. Hybrid techniques that decompose a time series into its linear and nonlinear components are one of the most important kinds of the hybrid model...
متن کاملUPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and veri cation of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modeled as a collection of non-deterministic processes with nite control structure and real-valued clocks, communicating through channels or shared variables....
متن کاملHybrid Fuzzy-PID Application in Boilers to Obtain Optimum Efficiency
Many real time processes have complex, uncertain and nonlinear dynamics. Boilers are nonlinear, time varying, multi-input multi-output (MIMO) systems, whose states generally vary with operating conditions. The major problem in controlling that system is that its drum water pressure and steam flow dynamics include an integrator that results a critically stable behavior. Conventional controller p...
متن کامل